Modeling Algorithms in SystemC and ACL2

We describe the formal language MASC, based on a subset of SystemC and intended for modeling algorithms to be implemented in hardware. By means of a special-purpose parser, an algorithm coded in SystemC is converted to a MASC model for the purpose of documentation, which in turn is translated to ACL2 for formal verification. The parser also generates a SystemC variant that is suitable as input to a high-level synthesis tool. As an illustration of this methodology, we describe a proof of correctness of a simple 32-bit radix-4 multiplier.Comment: In Proceedings ACL2 2014, arXiv:1406.123

Structural footprinting in protein structure comparison: the impact of structural fragments

<p>Abstract</p> <p>Background</p> <p>One approach for speeding-up protein structure comparison is the <it>projection approach</it>, where a protein structure is mapped to a high-dimensional vector and structural similarity is approximated by distance between the corresponding vectors. <it>Structural footprinting methods </it>are projection methods that employ the same general technique to produce the mapping: first select a representative set of structural fragments as <it>models </it>and then map a protein structure to a vector in which each dimension corresponds to a particular model and "counts" the number of times the model appears in the structure. The main difference between any two structural footprinting methods is in the set of models they use; in fact a large number of methods can be generated by varying the type of structural fragments used and the amount of detail in their representation. How do these choices affect the ability of the method to detect various types of structural similarity?</p> <p>Results</p> <p>To answer this question we benchmarked three structural footprinting methods that vary significantly in their selection of models against the CATH database. In the first set of experiments we compared the methods' ability to detect structural similarity characteristic of evolutionarily related structures, i.e., structures within the same CATH superfamily. In the second set of experiments we tested the methods' agreement with the boundaries imposed by classification groups at the Class, Architecture, and Fold levels of the CATH hierarchy.</p> <p>Conclusion</p> <p>In both experiments we found that the method which uses secondary structure information has the best performance on average, but no one method performs consistently the best across all groups at a given classification level. We also found that combining the methods' outputs significantly improves the performance. Moreover, our new techniques to measure and visualize the methods' agreement with the CATH hierarchy, including the threshholded affinity graph, are useful beyond this work. In particular, they can be used to expose a similar composition of different classification groups in terms of structural fragments used by the method and thus provide an alternative demonstration of the continuous nature of the protein structure universe.</p

Guillain-Barré syndrome: a century of progress

In 1916, Guillain, Barré and Strohl reported on two cases of acute flaccid paralysis with high cerebrospinal fluid protein levels and normal cell counts — novel findings that identified the disease we now know as Guillain–Barré syndrome (GBS). 100 years on, we have made great progress with the clinical and pathological characterization of GBS. Early clinicopathological and animal studies indicated that GBS was an immune-mediated demyelinating disorder, and that severe GBS could result in secondary axonal injury; the current treatments of plasma exchange and intravenous immunoglobulin, which were developed in the 1980s, are based on this premise. Subsequent work has, however, shown that primary axonal injury can be the underlying disease. The association of Campylobacter jejuni strains has led to confirmation that anti-ganglioside antibodies are pathogenic and that axonal GBS involves an antibody and complement-mediated disruption of nodes of Ranvier, neuromuscular junctions and other neuronal and glial membranes. Now, ongoing clinical trials of the complement inhibitor eculizumab are the first targeted immunotherapy in GBS

Lack of Association between Measles Virus Vaccine and Autism with Enteropathy: A Case-Control Study

Background: The presence of measles virus (MV) RNA in bowel tissue from children with autism spectrum disorders (ASD) and gastrointestinal (GI) disturbances was reported in 1998. Subsequent investigations found no associations between MV exposure and ASD but did not test for the presence of MV RNA in bowel or focus on children with ASD and GI disturbances. Failure to replicate the original study design may contribute to continued public concern with respect to the safety of the measles, mumps, and rubella (MMR) vaccine. Methodology/Principal Findings: The objective of this case-control study was to determine whether children with GI disturbances and autism are more likely than children with GI disturbances alone to have MV RNA and/or inflammation in bowel tissues and if autism and/or GI episode onset relate temporally to receipt of MMR. The sample was an age-matched group of US children undergoing clinically-indicated ileocolonoscopy. Ileal and cecal tissues from 25 children with autism and GI disturbances and 13 children with GI disturbances alone (controls) were evaluated by real-time reverse transcription (RT)-PCR for presence of MV RNA in three laboratories blinded to diagnosis, including one wherein the original findings suggesting a link between MV and ASD were reported. The temporal order of onset of GI episodes and autism relative to timing of MMR administration was examined. We found no differences between case and control groups in the presence of MV RNA in ileum and cecum. Results were consistent across the three laboratory sites. GI symptom and autism onset were unrelated to MMR timing. Eighty-eight percent of ASD cases had behavioral regression. Conclusions/Significance: This study provides strong evidence against association of autism with persistent MV RNA in the GI tract or MMR exposure. Autism with GI disturbances is associated with elevated rates of regression in language or other skills and may represent an endophenotype distinct from other ASD

A rhetoric-in-context approach to building commitment to multiple strategic goals

There are still few explanations of the micro-level practices by which top managers influence employee commitment to multiple strategic goals. This paper argues that, through their language, top managers can construct a context for commitment to multiple strategic goals. We therefore propose a rhetoric-in-context approach to illuminate some of the micro practices through which top managers influence employee commitment. Based upon an empirical study of the rhetorical practices through which top managers influence academic commitment to multiple strategic goals in university contexts, we demonstrate relationships between rhetoric and context. Specifically, we show that rhetorical influences over commitment to multiple goals are associated with the historical context for multiple goals, the degree to which top managers' rhetoric instantiates a change in that context, and the internal consistency of the rhetorical practices used by top managers. Copyright © 2007 SAGE Publications

Advanced cold molecule electron EDM

Measurement of a non-zero electric dipole moment (EDM) of the electron within a few orders of magnitude of the current best limit of |d_e| < 1.05 × 10^(−27) e⋅cm [1] would be an indication of physics beyond the Standard Model. The ACME Collaboration is searching for an electron EDM by performing a precision measurement of electron spin precession in the metastable H^3Δ_1 state of thorium monoxide (ThO) using a slow, cryogenic beam. We discuss the current status of the experiment. Based on a data set acquired from 14 hours of running time over a period of 2 days, we have achieved a 1-sigma statistical uncertainty of δd_e = 1 × 10^(−28) e⋅cm/√T, where T is the running time in days

Patterns of adiposity, vascular phenotypes and cognitive function in the 1946 British Birth Cohort.

BACKGROUND: The relationship between long-term exposure to whole body or central obesity and cognitive function, as well as its potential determinants, remain controversial. In this study, we assessed (1) the potential impact of 30 years exposure to different patterns of whole body and central adiposity on cognitive function at 60-64 years, (2) whether trajectories of central adiposity can provide additional information on later cognitive function compared to trajectories of whole body adiposity, and (3) the influence of vascular phenotypes on these associations. METHODS: The study included 1249 participants from the prospective cohort MRC National Survey of Health and Development. Body mass index (BMI), waist circumference (WC), and vascular (carotid intima-media thickness, carotid-femoral pulse wave velocity) and cognitive function (memory, processing speed, reaction time) data, at 60-64 years, were used to assess the associations between different patterns of adult WC or BMI (from 36 years of age) and late midlife cognitive performance, as well as the proportion of this association explained by cardiovascular phenotypes. RESULTS: Longer exposure to elevated WC was related to lower memory performance (p < 0.001 for both) and longer choice reaction time (p = 0.003). A faster gain of WC between 36 and 43 years of age was associated with the largest change in reaction time and memory test (P < 0.05 for all). Similar associations were observed when patterns of WC were substituted with patterns of BMI, but when WC and BMI were included in the same model, only patterns of WC remained significantly associated with cognitive function. Participants who dropped one BMI category and maintained a lower BMI had similar memory performance to those of normal weight during the whole follow-up. Conversely, those who dropped and subsequently regained one BMI category had a memory function similar to those with 30 years exposure to elevated BMI. Adjustment for vascular phenotypes, levels of cardiovascular risk factors, physical activity, education, childhood cognition and socioeconomic position did not affect these associations. CONCLUSIONS: Longer exposure to elevated WC or BMI and faster WC or BMI gains between 36 and 43 years are related to lower cognitive function at 60-64 years. Patterns of WC in adulthood could provide additional information in predicting late midlife cognitive function than patterns of BMI. The acquisition of an adverse cardiovascular phenotype associated with adiposity is unlikely to account for these relationships

Differences in carotid arterial morphology and composition between individuals with and without obstructive coronary artery disease: A cardiovascular magnetic resonance study

Objective: We sought to determine differences with cardiovascular magnetic resonance (CMR) in the morphology and composition of the carotid arteries between individuals with angiographically-defined obstructive coronary artery disease (CAD, = 50% stenosis, cases) and those with angiographically normal coronaries (no lumen irregularities, controls). Methods and results: 191 participants (50.3% female; 50.8% CAD cases) were imaged with a multi-sequence, carotid CMR protocol at 1.5T. For each segment of the carotid, lumen area, wall area, total vessel area (lumen area + wall area), mean wall thickness and the presence or absence of calcification and lipid-rich necrotic core were recorded bilaterally. In male CAD cases compared to male controls, the distal bulb had a significantly smaller lumen area (60.0 [plus or minus] 3.1 vs. 79.7 [plus or minus] 3.2 mm[super]2, p less than 0.001) and total vessel area (99.6 [plus or minus] 4.0 vs. 119.8 [plus or minus] 4.1 mm[super]2; p less than 0.001), and larger mean wall thickness (1.25 [plus or minus] 0.03 vs. 1.11 [plus or minus] 0.03 mm; p = 0.002). Similarly, the internal carotid had a smaller lumen area (37.5 [plus or minus] 1.8 vs. 44.6 [plus or minus] 1.8 mm[super]2; p = 0.006) and smaller total vessel area (64.0 [plus or minus] 2.3 vs. 70.9 [plus or minus] 2.4 mm[super]2; p = 0.04). These metrics were not significantly different between female groups in the distal bulb and internal carotid or for either gender in the common carotid. Male CAD cases had an increased prevalence of lipid-rich necrotic core (49.0% vs. 19.6%; p = 0.003), while calcification was more prevalent in both male (46.9% vs. 17.4%; p = 0.002) and female (33.3% vs. 14.6%; p = 0.031) CAD cases compared to controls. Conclusion: Males with obstructive CAD compared to male controls had carotid bulbs and internal carotid arteries with smaller total vessel and lumen areas, and an increased prevalence of lipid-rich necrotic core. Carotid calcification was related to CAD status in both males and females. Carotid CMR identifies distinct morphological and compositional differences in the carotid arteries between individuals with and without angiographically-defined obstructive CAD.Carotid Atherosclerosis (MRI) Progression Study (CAMPS, HL076378) and Cardiovascular Research Training Program (T-32, HL07838); and the General Clinical Research Center at the Wake Forest University School of Medicine (M01 RR-07122)

Thy1+ Nk Cells from Vaccinia Virus-Primed Mice Confer Protection against Vaccinia Virus Challenge in the Absence of Adaptive Lymphocytes

While immunological memory has long been considered the province of T- and B- lymphocytes, it has recently been reported that innate cell populations are capable of mediating memory responses. We now show that an innate memory immune response is generated in mice following infection with vaccinia virus, a poxvirus for which no cognate germline-encoded receptor has been identified. This immune response results in viral clearance in the absence of classical adaptive T and B lymphocyte populations, and is mediated by a Thy1+ subset of natural killer (NK) cells. We demonstrate that immune protection against infection from a lethal dose of virus can be adoptively transferred with memory hepatic Thy1+ NK cells that were primed with live virus. Our results also indicate that, like classical immunological memory, stronger innate memory responses form in response to priming with live virus than a highly attenuated vector. These results demonstrate that a defined innate memory cell population alone can provide host protection against a lethal systemic infection through viral clearance

Extremely short duration high intensity interval training substantially improves insulin action in young healthy males

Background: Traditional high volume aerobic exercise training reduces cardiovascular and metabolic disease risk but involves a substantial time commitment. Extremely low volume high-intensity interval training (HIT) has recently been demonstrated to produce improvements to aerobic function, but it is unknown whether HIT has the capacity to improve insulin action and hence glycemic control. Methods: Sixteen young men (age: 21 ± 2 y; BMI: 23.7 ± 3.1 kg·m-2; VO2peak: 48 ± 9 ml·kg-1·min-1) performed 2 weeks of supervised HIT comprising of a total of 15 min of exercise (6 sessions; 4-6 × 30-s cycle sprints per session). Aerobic performance (250-kJ self-paced cycling time trial), and glucose, insulin and NEFA responses to a 75-g oral glucose load (oral glucose tolerance test; OGTT) were determined before and after training. Results: Following 2 weeks of HIT, the area under the plasma glucose, insulin and NEFA concentration-time curves were all reduced (12%, 37%, 26% respectively, all P < 0.001). Fasting plasma insulin and glucose concentrations remained unchanged, but there was a tendency for reduced fasting plasma NEFA concentrations post-training (pre: 350 ± 36 v post: 290 ± 39 μmol·l-1, P = 0.058). Insulin sensitivity, as measured by the Cederholm index, was improved by 23% (P < 0.01), while aerobic cycling performance improved by ∼6% (P < 0.01). Conclusion: The efficacy of a high intensity exercise protocol, involving only ∼250 kcal of work each week, to substantially improve insulin action in young sedentary subjects is remarkable. This novel time-efficient training paradigm can be used as a strategy to reduce metabolic risk factors in young and middle aged sedentary populations who otherwise would not adhere to time consuming traditional aerobic exercise regimes